Case Studies: Abstract Debugging and Flight Software Verification Jan Midtgaard Winter School, Day 5 http://janmidtgaard.dk/aiws15/

Source URL: janmidtgaard.dk

• Abstract interpretation
• Record
• Video game bot

Modular Verification of Feature-Oriented Software Models Kathi Fisler Department of Computer Science Worcester Polytechnic Institute Worcester, MA, 01609 USA

Source URL: web.cs.wpi.edu

• Formal methods
• Logic in computer science
• Theoretical computer science
• Hardware verification languages
• Aspect-oriented software development
• Formal verification
• Model checking
• Abstraction
• E
• Communications protocol
• Modularity
• Construction and Analysis of Distributed Processes

SPACE SOFTWARE VALIDATION USING ABSTRACT INTERPRETATION Olivier Bouissou(1), Eric Conquet(2), Patrick Cousot(3), Radhia Cousot(3)(6), Jérôme Feret(3)(7), Khalil Ghorbal(1), Eric Goubault(1), David Lesens(4), Laurent Ma

Source URL: www.lix.polytechnique.fr

• Abstract interpretation
• Software testing
• AbsInt
• Fluctuat
• Astre
• Formal methods
• Radhia Cousot
• Static program analysis
• Patrick Cousot
• Formal verification
• Simulink
• Polyspace

Contact: Heather Almand Digital Insight

Source URL: www.digitalinsight.com

• Biometrics
• EyeVerify
• Security
• E-commerce
• Accounting software
• Digital Insight
• NCR Corporation
• Mobile banking
• Authentication
• Eye vein verification

To Run What No One Has Run Before: Executing an Intermediate Verification Language? Nadia Polikarpova, Carlo A. Furia, and Scott West Chair of Software Engineering, ETH Zurich, Switzerland

Source URL: people.csail.mit.edu

Specification and Verification of Context-dependent Services Naseem Ibrahim, Vangalur Alagar, and Mubarak Mohammad Department of Computer Science & Software Engineering Concordia University, Montreal, Canada {n ibrah,ala

Source URL: rap.dsi.unifi.it

Satisfiability Modulo Theories : Beyond Decision Procedures Andrew Reynolds May 20, 2015 SMT Solvers for Software Verification/Security

Source URL: lara.epfl.ch

Using Contracts to Guide the Search-Based Verification of Concurrent Programs Christopher M. Poskitt1 and Simon Poulding2 1 2

Source URL: se.inf.ethz.ch

• Software engineering
• Computing
• Computer programming
• Concurrency control
• Concurrent computing
• Edsger W. Dijkstra
• Object-oriented programming languages
• Concurrent programming languages
• Concurrency
• Concurrent data structure
• Thread
• SCOOP

Automatic Verification of Determinism for Structured Parallel Programs Martin Vechev1 , Eran Yahav1 , Raghavan Raman2 , and Vivek Sarkar2 1 IBM T.J. Watson Research Center.

Source URL: www.srl.inf.ethz.ch

• Computing
• Software engineering
• Programming language theory
• Parallel computing
• ALGOL 68
• Schedule

Recommended Practice for Software Requirements Specifications (IEEE) Author: John Doe Revision: 29/Dec/11 Abstract: The content and qualities of a good software requirements specification (SRS) are described and several

Source URL: www.midori-global.com

• Software engineering
• IEEE standards
• Software requirements
• Software documentation
• Systems engineering
• Software requirements specification
• System requirements specification
• Requirement
• IEEE Standards Association
• SRS
• Software design description
• Software verification and validation